Exact Approximations of omega Numbers
نویسندگان
چکیده
A Chaitin Omega number is the halting probability of a universal prefix-free Turing machine. Every Omega number is simultaneously computably enumerable (the limit of a computable, increasing, converging sequence of rationals), and algorithmically random (its binary expansion is an algorithmic random sequence), hence uncomputable. The value of an Omega number is highly machine-dependent. In general, no more than finitely many scattered bits of the binary expansion of an Omega number can be exactly computed; but, in some cases, it is possible to prove that no bit can be computed. In this paper we will simplify and improve both the method and its correctness proof proposed in an earlier paper, and we will compute the exact approximations of two Omega numbers of the same prefix-free Turing machine, which is universal when used with data in base 16 or base 2: we compute 43 exact bits for the base 16 machine and 40 exact bits for the base 2 machine.
منابع مشابه
Adiabatic approximation of time-dependent density matrix functional response theory.
Time-dependent density matrix functional theory can be formulated in terms of coupled-perturbed response equations, in which a coupling matrix K(omega) features, analogous to the well-known time-dependent density functional theory (TDDFT) case. An adiabatic approximation is needed to solve these equations, but the adiabatic approximation is much more critical since there is not a good "zero ord...
متن کاملWidth invariant approximation of fuzzy numbers
In this paper, we consider the width invariant trapezoidal and triangularapproximations of fuzzy numbers. The presented methods avoid the effortful computation of Karush-Kuhn-Tucker Theorem. Some properties of the new approximation methods are presented and the applicability of the methods is illustrated by examples. In addition, we show that the proposed approximations of fuzzy numbers preserv...
متن کاملA Modified Energy Balance Method to Obtain Higher-order Approximations to the Oscillators with Cubic and Harmonic Restoring Force
This article analyzes a strongly nonlinear oscillator with cubic and harmonic restoring force and proposes an efficient analytical technique based on the modified energy balance method (MEBM). The proposed method incorporates higher-order approximations. After applying the proposed MEBM, a set of complicated higher-order nonlinear algebraic equations are obtained. Higher-order nonlinear algebra...
متن کاملNon-trivial Quadratic Approximations to Zero of a Family of Cubic Pisot Numbers
This paper gives exact rates of quadratic approximations to an infinite class of cubic Pisot numbers. We show that for any cubic Pisot number q, with minimal polynomial p, such that p(0) = −1, and where p has only one real root, then there exists a C(q), explicitly given here, such that: (1) For all > 0, all but finitely many integer quadratics P satisfy |P (q)| ≥ C(q)− H(P )2 where H is the he...
متن کاملCritical frequency in nuclear chiral rotation.
Self-consistent solutions for the so-called planar and chiral rotational bands in 132La are obtained for the first time within the Skyrme-Hartree-Fock cranking approach. It is suggested that the chiral rotation cannot exist below a certain critical frequency which under the approximations used is estimated as Planck's omega(crit) approximately 0.5-0.6 MeV. However, the exact values of Planck's ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- I. J. Bifurcation and Chaos
دوره 17 شماره
صفحات -
تاریخ انتشار 2007